85 research outputs found
The gap between Gromov-vague and Gromov-Hausdorff-vague topology
In Athreya, L\"ohr, Winter (2016), an invariance principle is stated for a
class of strong Markov processes on tree-like metric measure spaces. It is
shown that if the underlying spaces converge Gromov vaguely, then the processes
converge in the sense of finite dimensional distributions. Further, if the
underlying spaces converge Gromov-Hausdorff vaguely, then the processes
converge weakly in path space. In this paper we systematically introduce and
study the Gromov-vague and the Gromov-Hausdorff-vague topology on the space of
equivalence classes of metric boundedly finite measure spaces. The latter
topology is closely related to the Gromov-Hausdorff-Prohorov metric which is
defined on different equivalence classes of metric measure spaces.
We explain the necessity of these two topologies via several examples, and
close the gap between them. That is, we show that convergence in Gromov-vague
topology implies convergence in Gromov-Hausdorff-vague topology if and only if
the so-called lower mass-bound property is satisfied. Furthermore, we prove and
disprove Polishness of several spaces of metric measure spaces in the
topologies mentioned above (summarized in Figure~1).
As an application, we consider the Galton-Watson tree with critical offspring
distribution of finite variance conditioned to not get extinct, and construct
the so-called Kallenberg-Kesten tree as the weak limit in
Gromov-Hausdorff-vague topology when the edge length are scaled down to go to
zero
Models of Discrete-Time Stochastic Processes and Associated Complexity Measures
Many complexity measures are defined as the size of a minimal representation in
a specific model class. One such complexity measure, which is important because
it is widely applied, is statistical complexity. It is defined for
discrete-time, stationary stochastic processes within a theory called
computational mechanics. Here, a mathematically rigorous, more general version
of this theory is presented, and abstract properties of statistical complexity
as a function on the space of processes are investigated. In particular, weak-*
lower semi-continuity and concavity are shown, and it is argued that these
properties should be shared by all sensible complexity measures. Furthermore, a
formula for the ergodic decomposition is obtained.
The same results are also proven for two other complexity measures that are
defined by different model classes, namely process dimension and generative
complexity. These two quantities, and also the information theoretic complexity
measure called excess entropy, are related to statistical complexity, and this
relation is discussed here.
It is also shown that computational mechanics can be reformulated in terms of
Frank Knight''s prediction process, which is of both conceptual and technical
interest. In particular, it allows for a unified treatment of different
processes and facilitates topological considerations. Continuity of the Markov
transition kernel of a discrete version of the prediction process is obtained as
a new result
Process Dimension of Classical and Non-Commutative Processes
We treat observable operator models (OOM) and their non-commutative
generalisation, which we call NC-OOMs. A natural characteristic of a stochastic
process in the context of classical OOM theory is the process dimension. We
investigate its properties within the more general formulation, which allows to
consider process dimension as a measure of complexity of non-commutative
processes: We prove lower semi-continuity, and derive an ergodic decomposition
formula. Further, we obtain results on the close relationship between the
canonical OOM and the concept of causal states which underlies the definition
of statistical complexity. In particular, the topological statistical
complexity, i.e. the logarithm of the number of causal states, turns out to be
an upper bound to the logarithm of process dimension.Comment: 8 page
- …